1 Infinitesimal Modeling IMPORTANT NOTICE

On Infinitesimal Conformal Transformations of the Tangent Bundles with the Generalized Metric

Let  be an n-dimensional Riemannian manifold, and  be its tangent bundle with the lift metric. Then every infinitesimal fiber-preserving conformal transformation  induces an infinitesimal homothetic transformation on .  Furthermore,  the correspondence   gives a homomorphism of the Lie algebra of infinitesimal fiber-preserving conformal transformations on  onto the Lie algebra of infinitesimal ...

Higher order infinitesimal bending of a class of toroids

In this paper we consider higher order infinitesimal bending of a surface in E3. Sufficient condition for a toroid generated by polygonal meridian to be non-rigid of higher order is given. This work is an extension of the results [1]-[7]. Examples of non-rigid surfaces, with visual presentation of infinitesimal bending are given. AMS Subj. Class.: 53A05, 53C45, 68U05

Mixed two-stage derivative estimator for sensitivity analysis

In mathematical modeling, determining most influential parameters on outputs is of major importance. Thus, sensitivity analysis of parameters plays an important role in model validation. We give detailed procedure of constructing a new derivative estimator for general performance measure in Gaussian systems. We will take advantage of using score function and measure-value derivative estimators ...

A Characterization of the Infinitesimal Conformal Transformations on Tangent Bundles

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)

Interpretation with Infinitesimals ? Towards Scalability in Nonstandard Static Analysis Kengo Kido, Swarat Chaudhuri, and Ichiro Hasuo 1 University of Tokyo, Japan 2 JSPS Research Fellow 3 Rice University, USA Abstract. We extend abstract interpretation for the purpose of verifying hybrid systems. Abstraction has been playing an important role in many verification methodologies for hybrid syste...